Realizing live sequence charts in SystemVerilog.

The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requirement for its safety performance. In early stages, system requirements are often specified as scenarios of behavior using sequence charts for different use cases. This specification must be precise, intuitive and expressive enough to capture different aspects of embedded control systems. As a rather rich and useful extension to the classical message sequence charts, live sequence charts (LSC), which provide a rich collection of constructs for specifying both possible and mandatory behaviors, are very suitable for designing an embedded control system. However, it is not a trivial task to realize a high-level design model in executable program codes effectively and correctly. This paper tackles the challenging task by providing a mapping algorithm to automatically synthesize SystemVerilog programs from given LSC specifications

The influence of consumption context on indulgent versus healthy yoghurts: exploring the relationship between the associated emotions and the actual choices

This work examines the associated emotions of consumers transmitted from extrinsic attributes (fat-related nutrition claims (full-fat, low-fat, and fat-free) and ingredient features (plain, berries, and double chocolate chunk)) labelled on yoghurt packages. It differentiates by consumption context (health versus indulgent) at the time of the survey and studies the relationship between the associated emotions (e.g., positive versus negative) attached to extrinsic attributes and the actual choices. The research was conducted in the Netherlands in 2019, with 209 regular consumers of yoghurt. Participants were divided into two treatments according to each consumption context and a control group (no context); they were instructed to imagine purchasing yoghurt to consume it as a healthy snack or as a dessert or received no instructions. After choosing their preferred option from a discrete choice experiment, participants indicated how the choice made them feel from a list of emotions. The results revealed significant differences between positive emotional profiles for choosing healthy (low-fat) yoghurts with berries and negative profiles for choosing less healthy alternatives (full-fat) with double chocolate chunk sensory features. The findings from a random parameter logit model showed that participants who continuously chose the same type of yoghurt in all choice tasks selected mostly positive rather than negative emotions. The overall findings suggest that the associated emotions affect yoghurt choices. However, the emotions were mainly affected by the consumption context. © 2022 by the authors. Licensee MDPI, Basel, Switzerland

The plating manifesto (I): from decoration to creation

At a time when a growing number of chefs and innovative food industries are starting to set up their own research kitchens and work with renowned scientists, it is surprising to see that issues related to the visual presentation of food on the plate are being left out of these successful exchanges. The variety of presentations created by chefs, and the number of varieties of tableware now available to achieve them, represent a formidable opportunity for cognitive scientists to study the more complex effects of vision on food experiences, which certainly should not be missed. Chefs can also benefit from the new insights that a scientific approach can bring to these areas, which previously have often been left to intuition. In this manifesto, we claim that this transfer of knowledge represents much more than merely another addition to the art and science of cuisine: it is its essential completion, as gastronomy moves more and more toward the ideal of a total multisensory art, as captivating for the eye as it is for the palate. Before turning to the scientific recommendations and review in the second part of our manifesto, we want to promote a different approach to plating, which breaks with the more functional and decorative purposes of plate ware, and puts experiments in visual presentation at the heart of modernist culinary expression

Effects of labeling a product eco-friendly and genetically modified: A cross-cultural comparison for estimates of taste, willingness to pay and health consequences

As the demand for eco-friendly food-produced without pesticides and environmentally harmful chemicals-increases, the need to develop genetically modified (GM) organisms that are more resistant to parasites and other environmental crop threats may increase. Because of this, products labeled both "eco-friendly" and "genetically modified" could become commonly available on the market. In this paper, we explore-in a Swedish and a UK sample-the consequences of combining eco-labeling and GM-labeling to judgments of taste, health consequences and willingness to pay for raisins. Participants tasted and evaluated four categories of raisins (eco-labeled and GM-labeled; eco-labeled; GM-labeled; and neither eco-labeled nor GM-labeled). The results suggest that there is a cost associated with adding a GM-label to an eco-labeled product: The GM-label removes the psychological benefits of the eco-label. This negative effect of the GM-label was larger among Swedish participants in comparison with UK participants, because the magnitude of the positive effect of the eco-label was larger in the Swedish sample and, hence, the negative effects of the GM-label became more pronounced (especially for health estimates). The roles of individual differences in attitudes, environmental concern and socially desirable responding in relation to the label effects are discussed

Subtle changes in the flavour and texture of a drink enhance expectations of satiety

Background: The consumption of liquid calories has been implicated in the development of obesity and weight gain. Energy-containing drinks are often reported to have a weak satiety value: one explanation for this is that because of their fluid texture they are not expected to have much nutritional value. It is important to consider what features of these drinks can be manipulated to enhance their expected satiety value. Two studies investigated the perception of subtle changes in a drink’s viscosity, and the extent to which thick texture and creamy flavour contribute to the generation of satiety expectations. Participants in the first study rated the sensory characteristics of 16 fruit yogurt drinks of increasing viscosity. In study two, a new set of participants evaluated eight versions of the fruit yogurt drink, which varied in thick texture, creamy flavour and energy content, for sensory and hedonic characteristics and satiety expectations. Results: In study one, participants were able to perceive small changes in drink viscosity that were strongly related to the actual viscosity of the drinks. In study two, the thick versions of the drink were expected to be more filling and have a greater expected satiety value, independent of the drink’s actual energy content. A creamy flavour enhanced the extent to which the drink was expected to be filling, but did not affect its expected satiety. Conclusions: These results indicate that subtle manipulations of texture and creamy flavour can increase expectations that a fruit yogurt drink will be filling and suppress hunger, irrespective of the drink’s energy content. A thicker texture enhanced expectations of satiety to a greater extent than a creamier flavour, and may be one way to improve the anticipated satiating value of energy-containing beverages

The Mouth-Gut-Brain model: An interdisciplinary approach to facilitate reformulation of reduced fat products

The food industry faces the difficult challenge of reformulating many of their products to meet increasingly stringent targets to reduce energy density by adjusting fat and sugar levels. However, reducing fat in products raises multiple risks for consumer satisfaction because of the consequent effects on both the multimodal sensory experience of the product and the extent to which satiety post‐ingestion meets expected satiety. Recognising that this complex problem requires an interdisciplinary approach, the Mouth‐Gut‐Brain project brought together academic expertise in food and sensory science, the psychology of appetite and the biophysics of food microstructure, with the support of seven industry partners, to develop novel, innovative approaches to enable successful reformulation of fat in a snack context. The project recognised the multifaceted nature of fat perception, and how it affects the psychological and physiological responses to consumption and ingestion. The outcomes of the research programme, comprising the characterisation of sensory and satiety responses of volunteers in the context of two novel fat‐reduced snack products, will be published over the next year and will help inform future novel approaches to fat reduction

Contributions to assess the reproducibility and the agreement of respondents in CATA tasks

In consideration of the widespread use of check-all-that-apply (CATA) questions in sensory and consumer research, the investigation of how the panel performs in this methodology is deemed necessary. Checking the reliability of this type of data is relevant, mostly in situations where, as a rapid method, it is obtained from consumers and in less controlled conditions such as online studies. While an excellent performance is expected and required from trained subjects, when working with consumers it is convenient to explore the data obtained, since this can also hint at how seriously they are taking the task, their levels of fatigue, boredom, etc. In this work, we have developed some complementary tools to existing ones to be able to evaluate statistically the reproducibility of both the respondents and the panel. The assessment of the reliability of the panel would not be complete without other methodologies dedicated to the reproducibility at the panel level of the products and of the terms, and to the assessment of the agreements between pairs of respondents, and between each respondent and the panel solution. For those criteria, methodologies based on multiple factor analysis on contingency tables and McNemar test are presented. To illustrate the methodology developed, the statistical complements were applied on data from two studies. The studies, one involving emotions and another one sensory characterisation data, were conducted in two different test–retest sessions. Keywords: Reproducibility Agreement CATA data MFACT Significance testing McNemar tes